Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·1h
💻Local LLMs
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·7h
💻Programming languages
Training a Chunker with Burn
elijahpotter.dev·14h·
Discuss: Hacker News
📝Concrete Syntax
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·11h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·22h·
Discuss: DEV
📝Concrete Syntax
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Hacker News
🔧Binary Parsers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·3h·
Discuss: Substack
💻Programming languages
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·4h
🔍RegEx Engines
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Zig Interface Revisited
williamw520.github.io·18h·
Discuss: Hacker News
🧩WASM Components
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·7h
🎙️Whisper
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·1d
🎼Computational Musicology
Helix Editor Release 25.07 Highlights
helix-editor.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing